punch (tool) - Allemand Anglais Dictionnaire